1. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
9
.
65
.
K93
2008
2. Introduction to computability
پدیدآورنده :
موضوع : Turing machines,Algorithms,Computational complexity,Recursive function
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Introduction to computability
پدیدآورنده : Hennie, Frederick C.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
4. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Godel's theorem-- Congresses,، Computational complexity-- Congresses,، Turing machines
رده :
QA
9
.
65
.
K65
5. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده : editors Ernst Specker, Volker Strassen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L4
v
.
43
6. Komplexitat von Entscheidungsproblemen : ein seminar
پدیدآورنده : edited by Ernst Specker, Volker Strassen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L28
Vol
.
43
7. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
8. Theory and applications of models of computation :
پدیدآورنده : T.V. Gopal, Junzo Watada (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
9. Turing Machines with sublogarithmic space
پدیدآورنده : Szepietowski, Andrzej
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
76
.
L28
Vol
.
843
10. Turing machines with sublogarithmic space
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Turing machines ; Computational complexity ;
